181. Computer Aided Verification :
Author: Isil Dillig, Serdar Tasiran (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification, Congresses.,Computer science.,Logic design.,Software engineering.,Logic in AI.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Software Engineering.,System Performance and Evaluation.,The Computing Profession.,Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification.,Computer science.,Logic design.,Software engineering.
Classification :
QA76
.
758
.
C38
2019
182. Computer Algebra :
Author: edited by Bruno Buchberger, George Edwin Collins, Rüdiger Loos.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Mathematics.
Classification :
QA155
.
7
.
E4
E358
1982
183. Computer Science and Statistics: Proceedings of the 13th Symposium on the Interface
Author: edited by William F. Eddy.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Distribution (Probability theory).,Mathematics.,Statistics.
184. Computer Simulation Studies in Condensed Matter Physics II :
Author: edited by David P. Landau, K.K. Mon, Heinz-Bernd Schüttler.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Mathematical physics.,Physical organic chemistry.,Physics.
185. Computer Simulation Studies in Condensed-Matter Physics X
Author: edited by David P. Landau, K. K. Mon, Heinz-Bernd Schüttler.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Physics.
186. Computer Simulation Studies in Condensed-Matter Physics XVI
Author: edited by David P. Landau, Steven P. Lewis, Heinz-Bernd Schüttler.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Physics.
187. Computer Simulation in Chemical Physics
Author: edited by M.P. Allen, D.J. Tildesley.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Chemistry, Physical and theoretical -- Computer simulation -- Congresses.,Molecular dynamics -- Computer simulation -- Congresses.,Monte Carlo method -- Congresses.
188. Computer aided verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, proceedings. Part I
Author: / edited by Isil Dillig, Serdar Tasiran.
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: Computer programs -- Verification -- Congresses.,Software engineering.,Computer science.,Computer science.,Computer programs.,Software engineering.
189. Computer algebra in scientific computing :
Author: Victor G. Ganzha, Ernst W. Matr, Evgenii V. Vorozhtsov (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra -- Data processing -- Congresses.,Algebra -- Data processing.,Science -- Data processing -- Congresses.
190. Computer assisted radiology :
Author: edited by/Herausgegeben von H.U. Lemke [and others] ; organizer/Organisator, H.U. Lemke.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Diagnostic imaging -- Data processing -- Congresses.,Diagnostic imaging -- Digital techniques -- Congresses.,Radiology Information Systems.
191. Computer graphics studies of Islamic geometrical patterns and designs
Author: Salman, Amer Shaker
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer-Aided Design
192. Computer performance evaluation :
Author: Ramon Puigjaner, Nunzio N. Savino, Bartomeu Serra (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: računalništvo -- optimizacija računalnika -- programska orodja -- zmogljivost -- računalniške mreže -- merjenje -- algoritemske tehnike -- Petrijeve mreže -- zborniki
Classification :
QA76
.
9
.
E94
R366
1998
193. Computing and mathematical modeling
Author: / editors, K. Thangavel, P. Balasubramaniam
Library: Library of College of Science University of Tehran (Tehran)
Subject: Computer algorithms,Numerical analysis,Mathematical models,Mathematics -- Data processing
Classification :
QA
76
.
9
.
A43
C674
2006
194. Computing and mathematical modeling
Author: / editors,K. Thangavel, P. Balasuubramaniam
Library: Library of Institude of Geophysics (Tehran)
Subject: Computer algorithms,Numerical analysis,Mathematical models,Mathematics ــ Data processing
Classification :
QA
76
.
9
.
A43
C674
2006
195. Computing for scientists and engineers :
Author: William J. Thompson.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Engineering-- Data processing.,Numerical analysis-- Data processing.,Science-- Data processing.
Classification :
QA297
.
T5
1992
196. Computing in civil engineering :
Author: sponsored by Technical Council on Computing and Information Technology of the American Society of Civil Engineers ; edited by Ioannis Brilakis, Ph.D., SangHyun Lee, Ph.D., Burcin Becerik-Gerber, DDes
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Civil engineering-- Data processing, Congresses,Computer-aided engineering, Congresses
Classification :
TA345
.
A833
2013
197. Computing with foresight and industry :
Author: Florin Manea, Barnaby Martin, Daniel Paulusma, Giuseppe Primiero, (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computable functions, Congresses.,Computer science-- Mathematics, Congresses.,Computable functions.,Computer science-- Mathematics.
Classification :
QA9
.
59
.
C67
2019
198. Concepts and applications of finite element analysis /
Author: Robert D. Cook, David S. Malkus, Michael E. Plesha.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Finite element method.,Structural analysis (Engineering),Finite element method.,Structural analysis (Engineering),Anwendung,Baustatik,Constructions, théorie des.,Eléments finis, méthode des.,Finite element method.,Finite-Elemente-Methode,Numerische Mathematik,Partielle Differentialgleichung,Structural analysis (Engineering),Structural analysis (Engineering)
Classification :
TA646
.
C66
1989
199. Conceptual and Numerical Analysis of Data :
Author: edited by Otto Optiz.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Content analysis (Communication) -- Congresses.,Mathematical statistics -- Congresses.,Statistics.
200. Conceptual shape optimization of entry vehicles :
Author: Dominic Dirkx, Erwin Mooij
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Space vehicles-- Atmospheric entry.
Classification :
TL1060
